Logic level - PDFSEARCH.IO - Document Search Engine

Logic level
Results: 537

#	Item
31	Object Oriented Storage and the End of File-Level Restores Stacy Schwarz-Gardner Spectra LogicStorage Developer Conference. ©Spectra Logic Inc.. All Rights Reserved. Add to Reading List Source URL: www.snia.org Language: English - Date: 2016-04-14 21:15:23
32	Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-11 07:16:08 Software engineering Computing Software Compiler construction Formal methods Logic in computer science Programming language implementation Functional languages Programming language Semantics Compiler Low-level programming language
33	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia R Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-10-16 19:31:58
34	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2005-09-22 14:37:02
35	AN10441 Level shifting techniques in I2C-bus design Rev. 01 — 18 June 2007 Application note Add to Reading List Source URL: www.nxp.com Language: English - Date: 2011-07-04 05:15:06 Electrical engineering Electromagnetism Electronic engineering IC Digital electronics Pull-up resistor MOSFET Field-effect transistor Logic level NXP Semiconductors Transistor NXP LPC
36	LOGIC R AIL TECHNOLOGIESTomball Pkwy Suite 287 Houston, TX 77070 Add to Reading List Source URL: www.logicrailtech.com Language: English - Date: 2012-07-12 01:09:45 Transport Land transport Railroad switch Switch Level crossing Rail transport
37	CodeHS & The Common Core Standards Learning to program on CodeHS satisfies important Common Core Standards at the High School level. The CodeHS curriculum equips students with logic Add to Reading List Source URL: d14to6y4nub5k1.cloudfront.net Language: English - Date: 2014-04-17 18:04:59
38	A Two-Level Logic Approach to Reasoning about Typed Specification Languages Mary Southern1 and Kaustuv Chaudhuri2 1 2 Add to Reading List Source URL: chaudhuri.info Language: English - Date: 2014-10-16 05:58:15
39	PSMN022-30PL N-channel 30 V 22 mΩ logic level MOSFET Rev. 02 — 1 November 2010 Product data sheet Add to Reading List Source URL: www.nxp.com Language: English - Date: 2011-07-03 16:30:34
40	... o +o o Compumotor Division Add to Reading List Source URL: www.parkermotion.com Language: English - Date: 2013-01-22 12:41:46 Digital electronics Logic level

UPDATE